Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
971	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
972	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
973	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory
974	Needham’s Electronics 2013 Programmer Products Ultra Low Cost Personal Programming EMPUniversal 40 pin Pocket USB Programmer Add to Reading List Source URL: www.needhams.com Language: English - Date: 2013-05-29 17:57:24 Digital electronics Computer hardware Non-volatile memory Logic families Computer memory Series Universal Serial Bus Programmer CMOS Electronic engineering Integrated circuits Electronics
975	Microsoft Word - ahm_time_paper_v6-1.doc Add to Reading List Source URL: www.allhands.org.uk Language: English - Date: 2009-07-07 09:08:50 Health informatics Artificial intelligence Information extraction Natural language processing Medical record Constraint satisfaction Electronic health record Constraint logic programming TimeML Computing Constraint programming Science
976	Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:35:55 Logic Logic programming Constructible universe Mathematics Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Belief revision Knowledge representation
977	Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n Add to Reading List Source URL: eastcoastfive.files.wordpress.com Language: English - Date: 2015-03-24 10:40:03 Mathematics Negation Rhetoric Boolean algebra Double negative Language Logic programming Yes and no Grammar Semantics Linguistics
978	1 Node.js in Action By Mike Cantelon and TJ Holowaychuk If you’ve done front-end web programming in which interface events trigger logic, then you’ve done asynchronous programming. There are two popular models in th Add to Reading List Source URL: www.infoq.com Language: English - Date: 2014-08-26 08:48:54 Subroutines Cross-platform software Callback JavaScript Event C Node.js Asynchronous semaphore Software engineering Computing Computer programming
979	SWAT4LS 2014 Tutorial Introduction to Rule Technologies and Systems 9-11 Dec., Berlin, Germany Prof. Dr. Adrian Paschke and Ralph Schäfermeier Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Frei Add to Reading List Source URL: www.swat4ls.org Language: English - Date: 2015-01-21 10:51:10 Computing Semantic Web Programming paradigms Logic programming Knowledge representation Prolog Datalog Prova Knowledge representation and reasoning Logic Science Reasoning
980	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types